Fast Interactive Decision Support for Modifying Stowage Plans Using Binary Decision Diagrams

نویسندگان

  • Rune Møller Jensen
  • Eilif Leknes
  • Tom Bebbington
چکیده

Low cost containerized shipping requires highquality stowage plans. Scalable stowage planning optimization algorithms have been developed recently. All of these algorithms, however, produce monolithic solutions that are hard for stowage coordinators to modify, which is necessary in practice due to the application of approximate optimization models. This paper introduces an approach for modifying a stowage plan interactively without breaking its constraints. We focus on re-arranging the containers in a single bay section and use a symbolic configuration technique based on binary decision diagrams to provide fast, complete, and backtrack-free decision support. Our computational results show that the approach can solve real-sized instances when breaking symmetries among similar containers.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Symbolic Configuration for Interactive Container Ship Stowage Planning

Low cost containerized shipping requires high-quality stowage plans. Scalable stowage planning optimization algorithms have been developed recently. All of these algorithms, however, produce monolithic solutions that are hard for stowage coordinators to modify, which is necessary in practice due to exceptions and operational disruptions. This article introduces an approach for modifying a stowa...

متن کامل

Numeric Function Generators Using Decision Diagrams for Discrete Functions

This paper introduces design methods for numeric function generators (NFGs) using decision diagrams. NFGs are hardware accelerators to compute values of numeric functions such as trigonometric, logarithmic, square root, and reciprocal functions. Most existing design methods for NFGs are intended only for a specific class of numeric functions. However, by using decision diagrams for discrete fun...

متن کامل

An Accurate Model for Seaworthy Container Vessel Stowage Planning with Ballast Tanks

Seaworthy container vessel stowage plans generated under realistic assumptions are a key factor for stowage decision support systems in the shipping industry. We propose a linear model with ballast tanks for generating master plans, the first phase of a 2-phase stowage optimization approach, that includes the main stability and stress moments calculations. Our approach linearizes the center of ...

متن کامل

Symbolic Heuristic Search Using Decision Diagrams

We show how to use symbolic model-checking techniques in heuristic search algorithms for both deterministic and decision-theoretic planning problems. A symbolic approach exploits state abstraction by using decision diagrams to compactly represent sets of states and operators on sets of states. In earlier work, symbolic model-checking techniques have been used to find plans that minimize the num...

متن کامل

Calculating Entropy Estimate Using Binary Decision Diagrams

Information entropy is one of crucial concepts in modern information theory and related fields. Over the years a large number of methods for reliable estimation of information entropy have been invented. In this paper we introduce a method for the estimation entropy of binary streams based on binary decision diagrams. Binary decision diagrams are an efficient method of representation of discret...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012